Computer arithmetic

Results: 1849



#Item
701Data types / Computer arithmetic / C programming language / Primitive types / Software bugs / Frama-C / Integer overflow / C / Undefined behavior / Computing / Software engineering / Computer programming

Annotation Generation Frama-C’s annotation generator plug-in for Frama-C Sodium[removed]

Add to Reading List

Source URL: frama-c.com

Language: English - Date: 2015-03-17 11:33:41
702Mathematics / Linguistics / Data types / Elementary arithmetic / Primitive types / Binary-coded decimal / Binary numeral system / Binary code / Floating point / Computer arithmetic / Arithmetic / Binary arithmetic

BINARY NUMBER SYSTEM 4 An understanding of the binary number system is necessary before proceeding with a further examination of LGP-21 programming concepts. Each digit of a

Add to Reading List

Source URL: ed-thelen.org

Language: English - Date: 2008-07-23 04:19:34
703Cross-platform software / Java platform / Computing platforms / Application programming interface / Set / Apache Commons / Java / Arbitrary-precision arithmetic / Commons Daemon / Computing / Java programming language / Interfaces

Fostering Interoperability in Java-Based Computer Algebra Software Heinz Kredel, University of Mannheim FINA at AINA 2012, FIT Fukuoka

Add to Reading List

Source URL: krum.rz.uni-mannheim.de

Language: English - Date: 2012-03-21 17:24:49
704Computer programming / Buffer overflow / String / C / Stack buffer overflow / Buffer overflow protection / Computing / Software bugs / Software engineering

Programmers’ and Code Inspectors’ Checklist: Is every array index and pointer arithmetic operation… Okay given the preconditions and data assumptions?

Add to Reading List

Source URL: nsfsecurity.pr.erau.edu

Language: English - Date: 2002-07-06 21:20:11
705Arithmetic / Statistical theory / Computer arithmetic / Rounding / Round-off error / Floating point / Enzyme kinetics / Significant figures / Errors and residuals in statistics / Statistics / Numerical analysis / Measurement

Biochem. J[removed], [removed]Printed in Great Britain)

Add to Reading List

Source URL: bip.cnrs-mrs.fr

Language: English - Date: 2014-08-12 06:32:57
706Software engineering / Computer programming / Computing / Constraint satisfaction / Constraint logic programming / Simplex algorithm / Slack variable / Linear programming / Cassowary / Constraint programming / Mathematical optimization / Operations research

The Cassowary Linear Arithmetic Constraint Solving Algorithm GREG J. BADROS and ALAN BORNING University of Washington

Add to Reading List

Source URL: constraints.cs.washington.edu

Language: English - Date: 2002-01-03 19:01:27
707Linguistics / Computer arithmetic / Elementary arithmetic / Adders / Numeral systems / Binary numeral system / Addition / Radix / Hexadecimal / Arithmetic / Binary arithmetic / Mathematics

**** PUT YOUR TITLE HERE ****

Add to Reading List

Source URL: www.stes.fi

Language: English - Date: 2006-10-19 04:44:00
708Binary arithmetic / Hexadecimal / Binary-coded decimal / Missile guidance / LGP-30 / Minicomputers / D-37C / Classes of computers / Computing / Linguistics

PROGRAMMING MANUAL GENERAL PRECISION, INC. Commercial Computer Division 1

Add to Reading List

Source URL: ed-thelen.org

Language: English - Date: 2008-07-23 04:19:34
709Procedural programming languages / Array programming languages / Modula-2 / C / Oberon / Algorithm / Programming language / Arbitrary-precision arithmetic / APL / Computing / Software engineering / Computer programming

A Systems Perspective on A3L Heinz Kredel University of Mannheim, IT-Center, 68131 Mannheim, Germany Abstract In this paper we summarize some aspects of the development of computer algebra systems from

Add to Reading List

Source URL: krum.rz.uni-mannheim.de

Language: English - Date: 2005-09-26 05:10:08
710Computer arithmetic / Data types / Computing / Theoretical computer science / Mersenne twister / Linear feedback shift register / Randomness / Primitive polynomial / Floating point / Pseudorandom number generators / Binary arithmetic / Mathematics

A PRNG specialized in double precision floating point numbers using an affine transition Mutsuo Saito and Makoto Matsumoto Abstract We propose a pseudorandom number generator specialized to

Add to Reading List

Source URL: www.math.sci.hiroshima-u.ac.jp

Language: English - Date: 2012-03-16 04:07:31
UPDATE